RV’04 Preliminary Version jMonitor: Java Runtime Event Specification and Monitoring Library Murat Karaorman

Source URL: www.runtime-verification.org

• Cross-platform software
• Subroutines
• Java programming language
• Software design patterns
• Runtime verification
• Java
• Event
• Main function
• Comparison of C Sharp and Java
• Computing
• Software engineering
• Computer programming

Interfacing C/C++ and Python with SWIG David M. Beazley Department of Computer Science University of Chicago Chicago, Illinois 60615

Source URL: www.swig.org

• Scripting languages
• Cross-platform software
• Procedural programming languages
• Subroutines
• Python
• Main function
• SWIG
• C
• D
• Software engineering
• Computing
• Computer programming

196 ieee transactions on ultrasonics, ferroelectrics, and frequency control, vol. 45, no. 1, january 1998 Synthetic Aperture Techniques with a Virtual Source Element

Source URL: www.brl.uiuc.edu

• Wireless
• Technology
• Side lobe
• Apodization
• Window function
• Main lobe
• Beamforming
• Synthetic aperture radar
• Lobe
• Telecommunications engineering
• Signal processing
• Antennas

D Cookbook Adam D. Ruppe Chapter No. 8 "Reflection"

Source URL: www.packtpub.com

• C++
• D
• Run-time type information
• Objective-C
• Reflection
• Typeid
• Template
• Main function
• Type safety
• Software engineering
• Computing
• Computer programming

Λ-ADIC FORMS AND THE IWASAWA MAIN CONJECTURE DEBARGHA BANERJEE, V.G. NARASIMHA KUMAR CH, AND EKNATH GHATE Advanced Instructional School on Arithmetic Geometry September 22-30, 2008, IIT Guwahati1

Source URL: www.math.tifr.res.in

• Algebraic number theory
• Field theory
• Galois theory
• P-adic L-function
• P-adic number
• Cyclotomic character
• Symbol
• Iwasawa theory
• Dirichlet character
• Abstract algebra
• Mathematics
• Algebra

Stack Parameter Check Bruce Horrocks, #609 In the last Datafile, my article ‘Stack Manipulation’ gave two routines that simplified stack manipulation by allowing you either to swap items around in groups or to save t

Source URL: www.hpcc.org

• Procedural programming languages
• Stack
• C
• Subroutine
• RPL
• Main function
• ALGOL 68
• FALSE
• Data type
• Software engineering
• Computing
• Computer programming

Theory of computation: Summary of main concepts 6. Effective computability: Turing machines Universal TM (UTM) interpreter that reads the description of any arbitrary TM M and executes operations on

Source URL: www.jn.inf.ethz.ch

• Computer science
• Turing machine
• Alan Turing
• Formal languages
• Halting problem
• Machine that always halts
• Computability
• Church–Turing thesis
• Computable function
• Computability theory
• Theoretical computer science
• Theory of computation

1 1 Review of probability concepts In this chapter, we give a brief summary of the main concepts and results on probability and statistics which will be needed in the rest of the book. Readers who

Source URL: www.wiley-vch.de

• Probability and statistics
• Cumulative distribution function
• Random variable
• Probability density function
• Normal distribution
• Generating functions
• Probability distribution
• Variance
• Expected value
• Statistics
• Mathematical analysis
• Probability theory

Hello everyone. Today we will be learning about two main WordPress features that may come in handy while making your plugins how to create option pages, and the function register_activation_hook. So, I am basing this vid

Source URL: hansengel.files.wordpress.com

Using C++ from Lisp using smoke David Lichteblau December 15, 2009 How not to interface with C++

Source URL: sbcl10.sbcl.org

• Lisp programming language
• Cross-platform software
• Functional languages
• Common Lisp
• Procedural programming languages
• Lisp
• Main function
• Pointer
• Kdebindings
• Computing
• Software engineering
• Computer programming